Order of a group

Metadata
aliases: []
shorthands: {}
created: 2021-11-07 01:13:52
modified: 2022-01-10 04:13:04

The cardinality of the group as a set.

Notation: